WizArg: Visual Argumentation Framework Solving Wizard
نویسندگان
چکیده
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is the computational complexity of the decision problems that has been shown to range from NP-complete to Π 2 -complete. In this paper, we introduce a generic extension-based argumentation semantics solver, that is called WizArg. The WizArg project consists in two main components: The WizArg Argumentation library (that can be used by any generic software to solve argumentation frameworks and answer questions about extension-basedargumentation semantics) and the WizArg front-end (a generic software component that allows users to create, save, and load their own argumentation frameworks).
منابع مشابه
An argumentation framework for learning, information exchange, and joint-deliberation in multi-agent systems
Case-Based Reasoning (CBR) can give agents the capability of learning from their own experience and solve new problems, however, in a multi-agent system, the ability of agents to collaborate is also crucial. In this paper we present an argumentation framework (AMAL) designed to provide learning agents with collaborative problem solving (joint deliberation) and information sharing capabilities (...
متن کاملTowards Advanced Systems for Abstract Argumentation
Within the last years, and in particular due to the first edition of the International Competition on Computational Models of Argumentation (ICCMA) in 2015, the field of formal argumentation has seen an increasing number of systems for Dung’s abstract argumentation framework. However, the majority of the current approaches rely on reductions to other solving paradigms like SAT-solving and Answe...
متن کاملLearning, Information Exchange, and Joint-Deliberation through Argumentation in Multi-agent Systems
Case-Based Reasoning (CBR) can give agents the capability of learning from their own experience and solve new problems, however, in a multi-agent system, the ability of agents to collaborate is also crucial. In this paper we present an argumentation framework (AMAL) designed to provide learning agents with collaborative problem solving (joint deliberation) and information sharing capabilities (...
متن کاملA Computer-based Argumentation Framework for Supporting Short-term Virtual Communities of Practice
The paper presents a web-based IS framework for supporting short-term virtual communities of practice formed to resolve specific organizational problems. The proposed framework is based on the G-MoBSA (Group Model Building and Selection by Argumentation) methodology which facilitates issue resolution, leverages group problem-solving capability and enhances organizational knowledge creation thro...
متن کاملGorgias-C: Extending Argumentation with Constraint Solving
GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving. The framework of argumentation with preference reasoning [1, 2] was first implemented in the GORGIAS system3 which has mainly been used in the multi-agent domain [2–4], medical informatics [5] and network security [6]. We have extended this fram...
متن کامل